$\vdash$  Top $\in$ Type